COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
نویسندگان
چکیده
منابع مشابه
Computable Functors and Effective interpretability
Our main result is the equivalence of two notions of reducibility between structures. One is a syntactical notion which is an effective version of interpretability as in model theory, and the other one is a computational notion which is a strengthening of the wellknown Medvedev reducibility. We extend our result to effective biinterpretability and also to effective reductions between classes of...
متن کاملNorm functors and effective zero cycles
We compare two known definitions for a relative family of effective zero cycles, based on traces and norms of functions, respectively. In characteristic zero we show that both definitions agree. In the general setting, we show that the norm map on functions can be expanded to a norm functor between certain categories of line bundles, therefore giving a third approach to families of zero cycles.
متن کاملFine Computable Functions and Effective Fine Convergence
In this article, we discuss the Fine computability and the effective Fine convergence for functions on [0, 1) with respect to the Fine metric as the beginning of the effective Walsh-Fourier analysis. First we treat classically the Fine continuity and the Fine convergence. Next, we prove that Fine computability does not depend on the choice of an effective separating set. Subsequently, we propos...
متن کاملEffective Dispersion in Computable Metric Spaces
We investigate the relationship between computable metric spaces (X, d, α) and (X, d, β), where (X, d) is a given metric space. In the case of Euclidean space, α and β are equivalent up to isometry, which does not hold in general. We introduce the notion of effectively dispersed metric space. This notion is essential in the proof of the main result of this paper: (X, d, α) is effectively totall...
متن کاملEffective zero-dimensionality for computable metric spaces
We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zerodimensionality are shown to be equivalent. The part of this characterisation that concerns covering dimension extends to higher dimensions and to closed shrinkings of finite open covers. To deal with zero-dimensional subspaces uniformly, fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2017
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2016.12